Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
221	Reactive Web Applications with Dynamic Dataflow in F# Anton Tayanovskyy Simon Fowler Loïc Denuzière Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Programming paradigms Computer architecture Computer data Dataflow Lambda calculus Reactive programming Static single assignment form Combinatory logic Futures and promises Computing Software engineering Computer programming
222	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
223	arXiv:cs/0309005v4 [cs.DS] 9 Feb[removed]Indexing Schemes for Similarity Search In Datasets of Short Protein Fragments Aleksandar Stojmirovi´c∗ and Vladimir Pestov Department of Mathematics and Statistics, University of Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 14:24:08 Information science Topology Mathematical analysis Topological spaces Metric space Metric tree Nearest neighbor search Symbol Combinatory logic Geometry Mathematics Metric geometry
224	Call Arity Joachim Breitner Karlsruhe Institute of Technology [removed] Abstract Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Higher-order functions Universal algebra Recursion Lambda calculus Computability theory Fold Combinatory logic Map Arity Mathematics Mathematical logic Theoretical computer science
225	Proceedings of the Australasian Language Technology Workshop 2007, pages[removed]Extending CCGbank with quotes and multi-modal CCG Daniel Tse and James R. Curran School of Information Technologies University of Sydney Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2007-11-28 01:01:08 Science Grammar Combinatory categorial grammar Combinatory logic Categorial grammar Treebank Parsing Mark Steedman Formal grammar Linguistics Formal languages Computational linguistics
226	Questions require an answer: A deductive perspective on questions and answers Willemijn Vermaat Centre for Logic, Language and Computation Victoria University Wellington, New Zealand [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-11-21 07:44:08 Language Wh-movement Question Categorial grammar Combinatory categorial grammar NP Head Shifting Linguistics Syntax Grammar
227	Scaling up Lloyd’s algorithm: stochastic and parallel block-wise optimization perspectives Claire Monteleoni Department of Computer Science George Washington University Add to Reading List Source URL: www.opt-ml.org Language: English - Date: 2014-12-10 11:28:22 Expectation–maximization algorithm Missing data Combinatory logic Theoretical computer science Coding theory Statistics Mathematics Estimation theory
228	PDF Document Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-04-28 16:23:58 Declarative programming Combinatory logic Lazy evaluation Anonymous function Fold Apply Free variables and bound variables Function Curry Software engineering Computing Lambda calculus
229	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Combinatory logic Free variables and bound variables Natural deduction Church encoding Constructible universe Fixed-point combinator Theoretical computer science Lambda calculus Mathematical logic
230	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:17:10 Lambda calculus Control flow Eval Scheme Env Constraint logic programming Combinatory logic LG enV Quasigroup Computing Mathematics Theoretical computer science

UPDATE